$p$ $\Rightarrow_{b}$ $q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\neg_{b}$$p$) $\vee_{b}$$q$